home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / examples / spread / formula.sig next >
Encoding:
Text File  |  1995-12-30  |  293 b   |  11 lines  |  [TEXT/R*ch]

  1. signature FORMULA =
  2.  sig
  3.      type formula
  4.      val NUM : int -> formula
  5.      val CELLREF : formula * formula -> formula
  6.      val BINOP : (int*int->int) * formula * formula -> formula
  7.      val IF : formula * formula * formula -> formula
  8.      val eval : formula -> int array array -> int
  9.  end
  10.  
  11.